{ x : Bool } ⩓ {}
